منابع مشابه
Metafol: Program Tactics and Logic Tactics plus Reflection Metafol: Program Tactics and Logic Tactics plus Reeection
universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica Abstract The goal of this paper is to present a reasoning system, called METAFOL, embodying the features of a self-reeective system, i.e. a system which has a representation of its own code and is able to reason about and, possibly, extend or modify it. These features have been achieved by employing a ...
متن کاملSettling-Thickening Tanks
Settling-thickening tanks are used to achieve separation of the liquid and solid fractions of faecal sludge (FS). They were fi rst developed for primary wastewater treatment, and for clarifi cation following secondary wastewater treatment, and it is the same mechanism for solids-liquid separation as that employed in septic tanks. Settling-thickening tanks for FS treatment are rectangular tanks,...
متن کاملMETAFOL: Program tactics and logic tactics plus reflection
The goal of this paper is to present a reasoning system, called METAFOL, embodying the features of a self-reeective system, i.e. a system which has a representation of its own code and is able to reason about and, possibly, extend or modify it. These features have been achieved by employing a logical meta-theory, which represents the computation implementing deduction in its object theory. Comp...
متن کاملWhich Tanks Empty Faster?
Suppose that water towers like those shown in Figure 1 are initially filled with water and have the same volume, height, and cross-sectional outlet area. Which one empties first? This problem arises naturally when designing watersupplying tanks or funnels. We find a formula expressing the emptying time as a function of the volume of liquid and its initial height. We compute the emptying time fo...
متن کاملEvasion Tactics
The number of countries that censor and monitor their citizens’ use of the Internet is increasing. While it is no secret that China and Iran censor the Internet, at least 25 countries, including Pakistan, Ethiopia, Thailand and Uzbekistan, also have technical filtering regimes in place. Some of the technology is even exported by western companies: search engines, blog hosting providers and emai...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1981
ISSN: 0028-0836,1476-4687
DOI: 10.1038/293332a0